{"entities":{"Q1703280":{"pageid":1714021,"ns":120,"title":"Item:Q1703280","lastrevid":72109734,"modified":"2026-04-14T02:42:55Z","type":"item","id":"Q1703280","labels":{"en":{"language":"en","value":"Strong decidability and strong recognizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6846062"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$D0D99803-1EA4-4B78-9CAA-FB60B234B44F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34a85f25f2eefba12b465a9880b5ad608974100d","datavalue":{"value":{"text":"Strong decidability and strong recognizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703280$4C8E377A-1D8E-4AF3-9FF4-173584684D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43a40eaefb93db157164e635c4d35e83b3d35d5","datavalue":{"value":"1420.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$4299048B-085C-444E-A86E-4748A28BB376","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$BA3651E5-0B48-4D06-BC74-FFCB229AF606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12992cec71393b223d3be21aa58f0c76618221b","datavalue":{"value":{"time":"+2018-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703280$A6F58248-EB8B-4BB5-A07D-74A5DF38F656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$C0264C82-A115-4ACE-BFBF-97E6F9718185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$9A33F446-0B89-4200-AC72-1E2634A7BA09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4c17e8ff3c9f4b487935815c833454d28d6044","datavalue":{"value":"6846062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$FF0B779E-9E25-44FD-A1CE-D0C3533E69BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$97EBCF00-8750-4D05-92D5-AD981B324A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7baab1d859d7e82a4d6d1531126dff71b15b81","datavalue":{"value":"Johansson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$3824553D-52DA-44E8-B7BB-6A0B76C8B9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$1A45ABAF-63E3-4550-A2EC-268AB36D6D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b72439ae9ab0152abde676507755d20449b3d5","datavalue":{"value":"strong decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$B0B28AC2-1F2E-4038-939F-F06F0DD7100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$3A8E165D-05FB-4424-8E8B-E7F7329E6BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703280$4CAABAD8-F28C-407E-99FD-FE4A88150F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$BCDDFDD1-585C-4A3F-AF0A-395DC5E5C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$5577F49F-C9BC-4F98-90BE-DB8F41902AFF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$7842DEF8-5DF7-430B-8E22-311145EA3B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"573d33f8d242d034d4946988d26bf8d3dde3ba9e","datavalue":{"value":"https://doi.org/10.1007/s10469-017-9459-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703280$17684869-AB35-41E4-BC1F-C7420185D1DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fea6c200d0730219c7c8f3b6f7fad0f150e50059","datavalue":{"value":"W2771865035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$1A7DDE9E-A34D-4BB6-9E75-31876AF1878E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$1648A27F-9FFE-476F-B2D6-3A1EAFAAFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03db5bea4c3a2c0b2333f655fd107271ecce9fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4521286,"id":"Q4521286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$F41E7EFF-9D98-437E-9A05-23E4541EC532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$6BCC6A09-5C6D-4183-88CC-F808E7EB403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$B2F75FA7-7D68-4A6B-84AE-A4498AFCF928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$2D106BB3-DB1B-4B46-B81F-0833E418D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb09e626e1b0a1ff7b9232dc5f56b4ddf639e5cf","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$CDF52317-AA4F-4047-B850-04F7CDF57217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$034549AC-300C-45E8-A9F0-987A236079D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$FD6253AB-7FDC-4FD5-AE49-F8E21B5E7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$BD8A8844-226A-45DA-BBD8-629D754201C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$1AFA09A1-C914-49E8-848F-992A76F0A92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$EF31B47F-DD46-4A68-A69C-F263E4BD204A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4f28c8c313f1afea99d9bbe3e017e01f511ef0","datavalue":{"value":{"entity-type":"item","numeric-id":891973,"id":"Q891973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$A2C7FC5D-657B-4D56-8394-159CF9706029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703280$8B8828CD-D9AE-4B68-B4D8-DBCA688B97D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e25e8f4d835026ecd65b566b59fa29d3897cda3","datavalue":{"value":"10.1007/S10469-017-9459-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703280$CA0AFC23-1393-4493-BC11-D57B19E866A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d92707f012fc4c8a7bbeabfddd3d2ae3beb6087","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f127bc2adfb9ecbd718389bfc642cc2662eb0e","datavalue":{"value":{"amount":"+0.8352958559989929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1703280$62B6061D-39CA-45AD-8FA7-5795FB61B578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37142ebb936cbd1a77688a534367f1b5547e275c","datavalue":{"value":{"entity-type":"item","numeric-id":1745087,"id":"Q1745087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620a48a3ea680fba7306f42ad364da4ecec198e2","datavalue":{"value":{"amount":"+0.823424756526947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1703280$AAF44F6E-F799-4E4B-9FBF-3E3001E7EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2327f531e0e569e7f439a059ab25f8fa27dae8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2003246,"id":"Q2003246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04126f916168e7051642e7529fd7efd2447d07a2","datavalue":{"value":{"amount":"+0.8124793767929077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1703280$E69B6187-C106-44FB-80FC-5F5EB7F8F517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f79e32583b048caeab5f86f31bfa1114f3193c3","datavalue":{"value":{"entity-type":"item","numeric-id":1642315,"id":"Q1642315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f75edf06a905bf96bf57a255726b73786e1e29d","datavalue":{"value":{"amount":"+0.8097193837165833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1703280$6A2C653C-CF70-4E42-8AA9-33E330F127B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9beab08c49d5fd12fdecf6efa54939385f0907f8","datavalue":{"value":{"entity-type":"item","numeric-id":1707569,"id":"Q1707569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932e37eda18bbe68dc0889f8ac203ec303524b90","datavalue":{"value":{"amount":"+0.7988206148147583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1703280$72E00410-0DF4-4837-8BEC-E0ADEB944381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong decidability and strong recognizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_decidability_and_strong_recognizability"}}}}}