{"entities":{"Q2534879":{"pageid":2545622,"ns":120,"title":"Item:Q2534879","lastrevid":73782489,"modified":"2026-04-14T17:14:54Z","type":"item","id":"Q2534879","labels":{"en":{"language":"en","value":"Normal form generation of S5 functions via truth functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3288573"}},"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":"Q2534879$5BF1A7DA-6336-4C2F-B6AC-BBD617461447","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43da63466d8aca56398eb01282b067f70420e4c1","datavalue":{"value":{"text":"Normal form generation of S5 functions via truth functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534879$927A7271-0BD5-4092-89D3-21C3B367524D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f4db9d121c4e6547a5a55fda4a93d296940cd8","datavalue":{"value":"0181.29703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534879$7DED5D3D-3DE8-4602-A529-D1C7F38D50D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534879$ED431147-E68E-4BD9-A01E-725490C76AA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q2534879$1B0E79D7-0772-44F4-A678-6FB567C6CD26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f5e17e5a77672124a7fa70b0ce2c37fcd923f26","datavalue":{"value":"3288573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534879$BA520DE4-0A20-471A-B342-EE437732E6D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534879$16A11E2D-CF63-4CF9-A621-A059C38E77A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cce0591d7bb3afe92727a71c4e8bca31b60436f","datavalue":{"value":{"entity-type":"item","numeric-id":758972,"id":"Q758972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534879$8CFBCC5A-4E5B-4340-8BE6-0A2CE8C1C2D6","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":"Q2534879$8CF741A3-F76F-456F-B1DC-2BF403A8C95F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4c572b813897c325401de5d5641dddf96663b49","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893355","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534879$DC5AF0C0-F69D-4426-B112-67293F5A8DF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff8e8f0b63457a7e0de30192e1567e3ea3b7085c","datavalue":{"value":"W1988037873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534879$26AF24D7-CBDC-4793-8630-010D76AF035C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2733b2a650e440b7af512fe9d14d5af77fc2a831","datavalue":{"value":"10.1305/NDJFL/1093893355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534879$20890D9B-79AB-4781-83C8-F03071A92396","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal form generation of S5 functions via truth functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_form_generation_of_S5_functions_via_truth_functions"}}}}}