{"entities":{"Q1242671":{"pageid":1253421,"ns":120,"title":"Item:Q1242671","lastrevid":68279472,"modified":"2026-04-12T22:39:01Z","type":"item","id":"Q1242671","labels":{"en":{"language":"en","value":"A canonical form algorithm for proving equivalence of conditional forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3574952"}},"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":"Q1242671$BAF3E4C9-51D3-4D31-849A-9FCD062494D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c61b8a872de0e330089d5c2b26c2e1bafc3dbbde","datavalue":{"value":{"text":"A canonical form algorithm for proving equivalence of conditional forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242671$85FD3987-1CBF-4BBC-89AC-347877AEC197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a305e8a1467fd3f0f9b638874ebb4b8e6a2bc69","datavalue":{"value":"0368.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$16A065A2-AFF8-4E27-9538-745B8A1CFD8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88d5847259a1398b2f80257db5192f1ee236e276","datavalue":{"value":"10.1016/0020-0190(78)90054-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$6EB95C4C-2DBE-4BA7-8703-4E094E9A1A1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be03c1d817334f8e43cfac688c22ef623ca85b23","datavalue":{"value":{"entity-type":"item","numeric-id":845879,"id":"Q845879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242671$1EE597F0-C22B-49A0-8BD7-FEB8640D47EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242671$58444FB7-3378-4849-B2BE-0E5BECCF1AA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1242671$E34F0F6F-4E35-418E-8A91-3EBD5D9FFF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$CA70624A-CD83-4FA1-BE35-B18D61C78B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$6AD26C09-7109-4CB5-BAF7-B339788C5E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$0EB878AA-736E-4731-96C1-57506FCA4F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4981cb2b42d5038996d4576ebc9043f294c708","datavalue":{"value":"3574952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$9C220ABC-F8B3-4E91-B82D-DE5DAABFADA3","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":"Q1242671$D0A78F3A-D856-4B86-9A8B-96402EAE29CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"154d5fd620b7fce9a2c4fc43187bd40cd5cb7e23","datavalue":{"value":"https://doi.org/10.1016/0020-0190(78)90054-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1242671$89E38813-94C0-4F66-AE49-0010BE366FCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e112a61ec97be2b8fe962add8c99e8523c23744d","datavalue":{"value":"W2050061025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242671$D6128C03-880C-4AAB-B831-0482623484EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242671$990EE1B7-0BE6-4F64-BC5C-18EE46577392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A canonical form algorithm for proving equivalence of conditional forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_canonical_form_algorithm_for_proving_equivalence_of_conditional_forms"}}}}}