{"entities":{"Q2558006":{"pageid":2568749,"ns":120,"title":"Item:Q2558006","lastrevid":78892772,"modified":"2026-05-06T12:40:45Z","type":"item","id":"Q2558006","labels":{"en":{"language":"en","value":"Beweisalgorithmen f\u00fcr die Pr\u00e4dikatenlogik"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3400445"}},"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":"Q2558006$A8E345FE-6B63-4ED8-9191-03B9ED6FA996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ca8d55e41ee2a89ea0c7f87a719a8bac418d697","datavalue":{"value":{"text":"Beweisalgorithmen f\u00fcr die Pr\u00e4dikatenlogik","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2558006$4FF773AE-299B-4246-A423-AA6C0D77BD93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48fc229bd46fb2ee3ff96737ff559b2fa9a2acd3","datavalue":{"value":"0253.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$CF9F675E-180C-4390-954C-0C561D02F18D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d88a8288b013857bd77f605ace0f548dff15db05","datavalue":{"value":"10.1007/BF02236612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$898810F8-94EE-43A0-8C51-7862B842FE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5542f6f07952a3b4ff56dfe03a39ac6efea2bb3","datavalue":{"value":{"entity-type":"item","numeric-id":2547126,"id":"Q2547126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$E8AE9FCA-EA68-4246-9BE2-D71D1C295651","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$ACA03B6A-6636-445E-B9D7-27C031E3DFD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q2558006$B01C6BEE-630A-4230-97CE-A08BF4A5ED25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$EE5D1BD8-2C52-4EBC-9790-00BC754ED8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$F517AE28-237B-4D39-A649-2A47B810422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$2324C7D6-A430-4DD8-B1BA-3737EB63688A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce230544f36c4ad9ae072977642c86e61f0c2c4","datavalue":{"value":"3400445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$0954D5C1-7B86-4A53-91ED-E6A5C2637B7A","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":"Q2558006$A437BBEB-D8F1-49AA-AEC4-4F76C8131B7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$35A991F0-EEC4-42C8-874E-8AA0EEEDF095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d6412374cd99d26f25760aacca4ecd0fb813a7","datavalue":{"value":{"entity-type":"item","numeric-id":5339307,"id":"Q5339307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$64D53829-AE07-4BFE-BFC7-F5F59244B492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$03F084F6-8260-4CD4-948C-85E864D8EA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$4B0C275A-1737-4E80-B731-2B4A98AC3211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3442ca039fda92daa5118e7cc700747aea54ecd9","datavalue":{"value":{"entity-type":"item","numeric-id":5726047,"id":"Q5726047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$9F5F0032-5114-4D87-81E1-EA2DA3272DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b078ac6522bcee697c559fd0ddac36e74baef1","datavalue":{"value":{"entity-type":"item","numeric-id":3275827,"id":"Q3275827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$FE8FF97B-C001-415E-8398-DE3BD227DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3031e4203c038858e615f0b69b07853a56d278","datavalue":{"value":{"entity-type":"item","numeric-id":3264227,"id":"Q3264227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$D4EA4262-6340-47EC-8063-3EBD4A9A9566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$36E8F4EB-FDC0-4E0C-ACB2-767BEB704189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$EE2DD9B8-745F-461B-80A6-12C5A7A074E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8854e72dcc3a42dc56d6ca9df67313124255e5","datavalue":{"value":{"entity-type":"item","numeric-id":3229411,"id":"Q3229411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$9C03A1CE-4145-4556-AB7E-9D3A6AC03B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbfa02ab4b7e0bb252f5a5604936a94deac79e9","datavalue":{"value":{"entity-type":"item","numeric-id":3847756,"id":"Q3847756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$7C1B316A-A4AE-46F4-9648-4C62F34E6DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$99920F57-52BA-4851-9B68-9BF25D2C6B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$1D63598F-8A5C-42C9-807A-4256D00C0ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30095a7f1c23f455448275d525fe1285a6ce95d4","datavalue":{"value":{"entity-type":"item","numeric-id":2558006,"id":"Q2558006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$5DD29908-0D67-4227-93CF-4030B559454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$0E464E67-F420-4E93-AA56-3F5B7DFA8F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e5077bbc247250e23c00809b95e2c6cbd36c6","datavalue":{"value":{"entity-type":"item","numeric-id":3283226,"id":"Q3283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$D8E7D54A-6123-4CF9-B65A-F35F39691408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$5AD08049-56E7-4110-9D7E-0ECBEDCC6C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558006$49134963-37F0-4473-A215-7F5340E71D84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af371c5a6c8f698b506d29fbc5da53ed0bc7c0e6","datavalue":{"value":"https://doi.org/10.1007/bf02236612","type":"string"},"datatype":"url"},"type":"statement","id":"Q2558006$D6A994C6-83BE-4A8B-94CA-F214E3EBCEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5f5ef19f20775ac6f9c7b0bf0b18feb11db63aa","datavalue":{"value":"W1971927226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558006$A6A75B56-19F3-4828-B5E1-4729431B5297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beweisalgorithmen f\u00fcr die Pr\u00e4dikatenlogik","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Beweisalgorithmen_f%C3%BCr_die_Pr%C3%A4dikatenlogik"}}}}}